1. An introduction to formal languages and automata /
Author: Peter Linz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages.,Machine theory.,Formal languages.,Machine theory.
Classification :
QA267
.
3
2. An introduction to the planning domain definition language /
Author: Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni, Christian Muise.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computational complexity.,Artificial intelligence.,Computational complexity.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.
Classification :
Q335
.
H37
2019
3. Automata, languages and programming :
Author: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine theory -- Congresses.,Machine theory.
Classification :
QA267
.
J543
1991
4. Automata, languages, and programming :
Author: edited by Jan Paredaens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
5. Computability, Complexity, and Languages
Author: \ Martin D. Davis, Elaine J. Weyuker
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبانهای صوری
Classification :
E-Book
,
6. Computability, complexity, and languages
Author: / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Machine theory,Computational complexity,Formal languages
Classification :
QA
267
.
D38
1994
7. Computability, complexity, and languages :
Author: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity,Formal languages,Machine theory
Classification :
QA267
.
D38
1994
8. Computability, complexity, and languages
Author: Martin D. Davis, Elaine J. Weyuker,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Machine theory,Computational complexity,Formal languages
Classification :
QA
.
D38
267
1983
9. Computability, complexity, and languages : fundamentals of theoretical computer science
Author: Davis, Martin, 8291-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Machine theory,، Computational complexity,، Formal languages
Classification :
QA
267
.
D285C6
10. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
موضوع : ، Machine theory,، Computational complexity,، Formal languages
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Computability, complexity, and languages fundamentals of theoretical computer science
Author: Davis, Martin
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Machine theory,، Computational complexity,، Formal languages
Classification :
QA
267
.
D38
12. Computability, complexity, and languages : fundamentals of theoretical computer science
Author: Davis, Martin, 8291-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Machine theory,، Computational complexity,، Formal languages
Classification :
QA
267
.
D285C6
1994
13. Computer science -- theory and applications :
Author: René van Bevern, Gregory Kucherov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses.,Computer science, Congresses.,Computer algorithms.,Computer science.
Classification :
QA75
.
5
14. Descriptional complexity of formal systems :
Author: Markus Holzer, Martin Kutrib, Giovanni Pighizzini (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses
Classification :
QA267
.
3
.
D34
2011
15. Elements of the theory of computation
Author: / Harry R. Lewis, Christos H. Papadimitriou
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
Classification :
QA267
.
L49
1998
16. Elements of the theory of computation
Author: Lewis, Harry R
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Machine theory,Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
Classification :
QA
267
.
L49
17. Elements of the theory of computation
Author: / Harry R. Lewis, Christos H. Papadimitriou
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
Classification :
QA267
.
L49
1998
18. Elements of the theory of computation
Author: Lewis, Harry R.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Machine theory , Formal languages , Computational complexity , Logic, Symbolic and mathematical
Classification :
QA
267
.
L49
1998
19. Elements of the theory of computation
Author: Lewis, Harry R.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
Classification :
QA
267
.
L49
20. Elements of the theory of computation
Author: Lewis, Harry R.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
Classification :
QA
267
.
L49
